File: README

package info (click to toggle)
minlog 4.0.99.20080304-4
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 5,596 kB
  • ctags: 3,597
  • sloc: lisp: 80,596; makefile: 250; sh: 11
file content (12 lines) | stat: -rw-r--r-- 366 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
 
Weitere Beispiele zur intuitionistischen Quantorenlogik finden sich 
auf den Seiten 652-655 in 

@Article{Franzen92,
  author = 	"Dan Sahlin and Torkel Franzen and Seif Haridi",
  title = 	"An Intuitionistic Predicate Logic Theorem Prover",
  journal = 	"Journal of Logic and Computation",
  year = 	"1992",
  volume = 	"2",
  number = 	"6",
  pages = 	"619--656"}